#include <iostream>
#include <cstdio>
#include <string>
#include <vector>
#include <queue>
#include <algorithm>
#define REP(i,n) for(int i=0;i<int(n);++i)

using namespace std;

int main()
{
	freopen("data.txt","w",stdout);
	puts("1 1 1");
	puts("100000 100000 100000");
	int k = 100000;
	printf("%d\n",k);
	REP(i,k) printf("%d ",100000);
	puts("");
	return 0;
}
